$\forall$$i$:Id, $A$:Realizer, $l$:IdLnk, ${\it tg}$:Id.
\\[0ex]($\neg$($\uparrow$Rnone?($A$)))
\\[0ex]$\Rightarrow$ ($\neg$($\uparrow$Rplus?($A$)))
\\[0ex]$\Rightarrow$ rcv($l$,${\it tg}$) declared in @R{-}loc($A$): R{-}base{-}ma($A$)($i$)
\\[0ex]$\Rightarrow$ (($\uparrow$Reffect?($A$)) $\vee$ ($\uparrow$Rsends?($A$)))